$\forall$$A$:Type, $f$:($A$$\rightarrow$($A$ + Top)). p{-}graph($A$;$f$) $\in$ $A$$\rightarrow$$A$$\rightarrow\mathbb{P}$